Predicate movement

1 Evidence on Long Head Movement in Mandarin Predicate Cleft

Predicate Subtyping with Predicate Sets

We show how PVS-style predicate subtyping can be simulated in HOL using predicate sets, and explain how to perform subtype checking using this model. We illustrate some applications of this to specification and verification in HOL, and also demonstrate some limits of the approach. Finally we report on the effectiveness of a subtype checker used as a condition prover in a contextual rewriter.

Predicate Classes

Predicate classes are a new linguistic construct designed to complement normal classes in objectoriented languages. Like a normal class, a predicate class has a set of superclasses, methods, and instance variables. However, unlike a normal class, an object is automatically an instance of a predicate class whenever it satisfies a predicate expression associated with the predicate class. The pred...

Predicate logic

Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...

Predicate Complements

This paper briefly presents the canonical HPSG treatment of predicate complements (Section 1) and points out a number of problems with it (Section 2). Then it presents an alternative (Section 3) and shows how it avoids or solves the problems with the canonical treatment (Section 4). 1 The raising treatment of the predicate complements In mainstream HPSG predicate complements are treated along t...